00100 (DE REPLACE (X Y Q) 00200 (COND 00300 ((ATOM Q) 00400 (COND ( (EQ Q Y)X)(T Q))) 00500 (T(PROG2 00600 00700 (OR 00800 (AND (NOT(ATOM(CAR Q))) (REPLACE X Y(CAR Q)) ) 00900 (AND (EQ(CAR Q)Y) (DIP X Q) )) 01000 01100 (OR 01200 (AND (NOT(ATOM(CDR Q))) (REPLACE X Y(CDR Q)) ) 01300 (AND (EQ(CDR Q)Y) (DAP X Q) )) 01400 )) 01500 ))